A Petri Net-based Approach to Reconfigurable Manufacturing Systems Modeling
نویسندگان
چکیده
Reconfigurable manufacturing systems (RMSs) have been used to provide manufacturing companies with the required capacities and capabilities, when needed. Recognizing (1) the importance of dynamic modeling and visualization in decision making support in RMSs and (2) the limitations of the existing studies, we model RMSs based on Petri net (PN) techniques with focus on the process of reconfiguring system elements while considering constraints and system performance. In response to the modeling difficulties identified, a new formalism of colored timed PNs is introduced. In conjunction with colored tokens and timing in colored PNs and timed PNs, we further define a reconfiguration mechanism to meet the modeling difficulties. A case study of an electronics product is reported as an application of the proposed colored timed PNs to RMS modeling.
منابع مشابه
A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملTime Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملTo a Formal Modeling Approach of Error Recovery in Production Systems Based on Holonic Multi-agent Systems Specification
Production systems must be reconfigurable and endowed with methods and tools allowing an automatic recovery of expected and unexpected errors. In this domain, error recovery in production systems is always an open problem. Multiagent systems seem to be adapted for representing this kind of problem in an attempt to arrive at a reconfigurable, adaptive, and “intelligent” manufacturing systems. Th...
متن کامل